General topology

Results: 894



#Item
251General topology / Asymptotic analysis / Summability theory / Banach limit / Series / Limit superior and limit inferior / Sequence space / Filter / Almost convergent sequence / Mathematical analysis / Functional analysis / Convergence

Ideal convergence and other generalized limits Martin Sleziak October 18, 2005 Abstract This talk is mainly concerned with two generalizations of convergence of sequences called I-convergence and I ∗ -convergence. We w

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English - Date: 2005-10-18 10:19:40
252Sheaf theory / Topos / Constructivism / Continuous function / Topological space / Category of topological spaces / Set theory / Universe / Intuitionistic type theory / Topology / Mathematics / General topology

The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2012-06-17 04:04:56
253Net / Constructible universe / Turn / Ordinal numbers / Set theory / Proof theory / Topology / Mathematical logic / Mathematics / General topology

Efficient Dominance Testing for Unconditional Preferences

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2010-03-12 18:49:48
254Category of topological spaces / Trivial topology / Topos / Continuous function / Grothendieck topology / Discrete space / Homotopy / Topology / General topology / Topological space

The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2012-06-19 08:18:06
255Ordinal number / Sequential space / Net / Subnet / Disjoint union / Product topology / Cofiniteness / Topological space / Transfinite induction / Topology / General topology / Coherent topology

Subspaces of pseudoradial spaces Martin Sleziak October 25, 2005 Abstract We prove that every topological space (T0 -space, T1 -space) can be embedded in a pseudoradial space (in a pseudoradial T0 -space, T1 -space).

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English
256Filter / Hausdorff space / Product topology / Continuous function / Uniform space / Open and closed maps / Sierpiński space / Compact space / Metric space / Topology / General topology / Exponential object

Intersections of compactly many open sets are open Mart´ın Escard´o University of Birmingham, UK May 27, 2009

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-05-28 06:38:29
257General topology / Spectral theory / Convex analysis / Combinatory logic / Lambda calculus / Logic in computer science / Compact space / Convex function / Spectral theory of ordinary differential equations / Topology / Mathematics / Mathematical analysis

Helly’s Intersection Theorem The main topic of this chapter is a famous combinatorial theorem by E. Helly (1884–Let us start with a useful terminology. Definition 0.1. Let F be a family of subsets of a set X,

Add to Reading List

Source URL: users.mat.unimi.it

Language: English - Date: 2010-05-07 05:19:24
258Convergence / General topology / Calculus / Metric geometry / Filter / Limit superior and limit inferior / Series / Continuous function / Net / Mathematical analysis / Mathematics / Topology

I K -CONVERGENCE ˇ MARTIN MACAJ AND MARTIN SLEZIAK Abstract. In this paper we introduce I K -convergence which is a common generalization of the I ∗ -convergence of sequences, double sequences and nets. We show that m

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English - Date: 2010-05-13 04:14:51
259General topology / Connected space

Scalable Detection of Anomalous Patterns with Connectivity Constraints Skyler Speakman, Ed McFowland III, Daniel B. Neill Event and Pattern Detection Lab H.J. Heinz III College

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2011-05-20 15:47:24
UPDATE